Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14)
نویسندگان
چکیده
منابع مشابه
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012
The Brazilian Symposium on Programming Languages (SBLP) is an annual conference promoted by the Brazilian Computer Society (SBC), which has become an important forum for researchers and practitioners in programming language design and implementation from around the world to interact and present their results and experience. This issue of Science of Computer Programming includes extended version...
متن کاملSelected Papers from SBLP 2006: The 10th Brazilian Symposium on Programming Languages
The SBLP is an event sponsored by the Brazilian Computer Society (SBC). It is a forum where researchers, educators, and practitioners can present and discuss the fundamental principles and innovations in the design, definition, analysis, transformation and implementation of programming languages and systems. This SBLP edition featured the following contributions: (i) two tutorials: Pervasive Co...
متن کامل8th Brazilian Symposium on Programming Languages - J.UCS Special Issue
The Brazilian Symposium on Programming Languages (SBLP) is the main event in South America devoted to programming languages. Its scope includes all aspects of programming languages, including language design and implementation, formal semantics, domain-specific languages, and theoretical foundations of programming languages. The Symposium is a yearly event supported by the Brazilian Computer So...
متن کاملInternational Symposium on Programming Languages : Implementations , Logics
This paper presents a novel typed deductive database programming language LOL being developed at the University of Regina. This language eeectively integrates important features in object-oriented data models, complex object data models, functional data models, and deductive query languages in a uniform framework. It supports object identity, structured values, complex objects, classes, class h...
متن کاملVLSI 2010 Annual Symposium - Selected papers
A solution to get the problem off, have you found it? Really? What kind of solution do you resolve the problem? From what sources? Well, there are so many questions that we utter every day. No matter how you will get the solution, it will mean better. You can take the reference from some books. And the vlsi 2010 annual symposium selected papers is one book that we really recommend you to read, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2016
ISSN: 0167-6423
DOI: 10.1016/j.scico.2016.02.001